Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 2.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002D81 | Francisco Durán ; Manuel Roldan [Espagne] ; Jean-Christophe Bach [France] ; Emilie Balland [France] ; Mark Van Den Brand [Pays-Bas] ; James R. Cordy ; Steven Eker ; Luc Engelen ; Maartje De Jonge ; Karl Trygve Kalleberg [Norvège] ; Lennart C. L. Kats ; Pierre-Etienne Moreau [France] ; Eelco Visser [Pays-Bas] | The Third Rewrite Engines Competition |
| 003889 | Francisco Durán [Espagne] ; Salvador Lucas [Espagne] ; José Meseguer [États-Unis] | Termination Modulo Combinations of Equational Theories |
| This area was generated with Dilib version V0.6.33. |  |